Systems Modeling Language

Results: 1448



#Item
241Science / Automata theory / Formal methods / Concurrent computing / Scientific modeling / Model checking / Unified Modeling Language / Finite-state machine / Modeling language / Computing / Theoretical computer science / Models of computation

1 Research Summary The primary focus of my research is to develop formal methods and tools which support the modeling and automated analysis of complex computational systems, including software systems,

Add to Reading List

Source URL: ti.tuwien.ac.at

Language: English - Date: 2012-06-28 12:12:54
242Science / Data management / Knowledge engineering / Semantic Web / Technical communication / Unified Modeling Language / Systems engineering / Information

Open Source Innovation platforms for MBSE? Bernhard Sch¨atz Software and Systems Engineering fortiss GmbH Guerickestr. 25, 80805 Munich, Germany

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2014-11-10 04:35:45
243Enterprise modelling / IBM software / Systems engineering / Modeling language / Business process modeling / Eclipse / Simulation / Unified Modeling Language / Software / Computing / Scientific modeling

Model-Based Engineering -- A New Era Based on Papyrus and Open Source Tooling Presented by Francis Bordeleau, Edgard Fiallos,

Add to Reading List

Source URL: flux.cs.queensu.ca

Language: English - Date: 2014-10-30 17:02:58
244Compiler construction / Formal languages / Programming language implementation / Domain-specific language / C++ / Parsing / Domain-specific modeling / Automatic programming / Generic programming / Software engineering / Computing / Computer programming

PARSING AND CODE GENERATION TECHNIQUES TO DEAL WITH UNCERTAINTY: EXPERIENCES FROM HIGHLY-EVOLVING AND COMPLEX SYSTEMS Cedric Lemaire, BNPParibas, Paris - France

Add to Reading List

Source URL: www.dsmforum.org

Language: English - Date: 2005-10-11 04:35:54
245Computing / Enterprise architecture / Enterprise Architect / Enterprise modelling / Model-driven engineering / SD Times / Modeling language / Object Management Group / Unified Modeling Language / Software engineering / Software

Sparx Systems Wins Back-to-Back SD Times 100 Award Recognized for its contribution to the software development industry, Sparx Systems wins its second consecutive SD Times 100 award. Creswick, Australia, June 7, 2010 –

Add to Reading List

Source URL: sparxsystems.com.au

Language: English - Date: 2013-07-22 11:31:41
246Object Constraint Language / Meta-Object Facility / Denotational semantics / Metamodeling / Kermeta / Model-driven architecture / Petri net / ECO / ATLAS Transformation Language / Unified Modeling Language / Software engineering / Software

The TOPCASED project a Toolkit in OPen source for Critical Applications & SystEms Design ∗ Marc Pantel

Add to Reading List

Source URL: www.dsmforum.org

Language: English - Date: 2007-06-19 10:22:01
247Data modeling / Relational database management systems / Databases / Foreign key / Data Definition Language / Varchar / Unique key / HTML element / Data management / SQL / Computing

MVZ Logical ModelPrimary Catalog --Collection Object Tables The Logical Information Model Tables for the Primary Cataloging Application

Add to Reading List

Source URL: mvz.berkeley.edu

Language: English - Date: 2013-06-14 16:35:37
248Enterprise modelling / Unified Modeling Language / Data modeling tools / Systems engineering / Enterprise Architect / Business process modeling / Model-driven engineering / Software development methodology / Agile Modeling / Software / Information technology management / Enterprise architecture

The Navigator for Enterprise Solutions MARCHCIOREVIEW.COM Sparx Systems :

Add to Reading List

Source URL: www.sparxsystems.com

Language: English - Date: 2015-04-21 02:06:51
249Data modeling / Enterprise architecture / Association of Commonwealth Universities / Systems engineering / La Trobe University / Enterprise Architect / Model-driven engineering / Object Management Group / Unified Modeling Language / Software engineering / Software

Sparx Systems Establishes UML Training Partnership with La Trobe University In collaboration with the La Trobe Centre for Technology Infusion, Sparx Systems will provide Enterprise Architect software for the establishmen

Add to Reading List

Source URL: sparxsystems.com.au

Language: English - Date: 2013-07-22 11:31:41
250Graph rewriting / Graph theory / Mathematics / Systems science / Scientific modeling / KM3 / Model transformation / Metamodeling / Query language / Unified Modeling Language / Systems engineering / Software engineering

Toward bidirectionalization of ATL with GRoundTram Isao Sasano1 , Zhenjiang Hu2 , Soichiro Hidaka2 , Kazuhiro Inaba2 , Hiroyuki Kato2 , and Keisuke Nakano3 1 3

Add to Reading List

Source URL: www.biglab.org

Language: English - Date: 2011-08-31 02:32:35
UPDATE